منابع مشابه
The Grothendieck Construction and Gradings for Enriched Categories
The Grothendieck construction is a process to form a single category from a diagram of small categories. In this paper, we extend the definition of the Grothendieck construction to diagrams of small categories enriched over a symmetric monoidal category satisfying certain conditions. Symmetric monoidal categories satisfying the conditions in this paper include the category of k-modules over a c...
متن کاملPolymorphic Abstract Syntax via Grothendieck Construction
Abstract syntax with variable binding is known to be characterised as an initial algebra in a presheaf category. This paper extends it to the case of polymorphic typed abstract syntax with binding. We consider two variations, secondorder and higher-order polymorphic syntax. The central idea is to apply Fiore’s initial algebra characterisation of typed abstract syntax with binding repeatedly, i....
متن کاملA general construction of partial Grothendieck transformations
Fulton and MacPherson introduced the notion of bivariant theories related to Riemann-Roch-theorems, especially in the context of singular spaces. This is powerful formalism, which is a simultaneous generalization of a pair of contravariant and covariant theories. Natural transformations of bivariant theories are called Grothendieck transformations, and these generalize a pair of ordinary natura...
متن کاملOptimized construction of microsatellite-enriched libraries.
The construction of microsatellite-enriched libraries is an indispensable tool to search for molecular markers as complete genome sequences are still not available for the majority of species of interest. Numerous protocols are available in the literature for the construction of these libraries; however, sometimes their low efficiency or lack of optimization in the protocols can restrict their ...
متن کاملThe Grothendieck Group
In the red corner, topological K-theory! The study of stable equivalences of vector bundles over a topological space, and the engine behind Bott periodicity, a result whose reverberations are felt throughout algebraic topology. In the blue corner, modular representation theory! The story of representations in positive characteristic, where the CDE triangle powers applications in group theory an...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Advances in Mathematics
سال: 2019
ISSN: 0001-8708
DOI: 10.1016/j.aim.2018.12.009